|   File        : BuildDocs
|   Date        : 15-May-01
|   Author      : © A.Thoukydides, 1996-2001, 2019
|   Description : Script to run the utility to build the ARMEdit
|                 documentation.
|   
|   License     : ARMEdit is free software: you can redistribute it and/or
|                 modify it under the terms of the GNU General Public License
|                 as published by the Free Software Foundation, either
|                 version 3 of the License, or (at your option) any later
|                 version.
|
|                 ARMEdit is distributed in the hope that it will be useful,
|                 but WITHOUT ANY WARRANTY; without even the implied warranty
|                 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See
|                 the GNU General Public License for more details.
|
|                 You should have received a copy of the GNU General Public
|                 License along with ARMEdit. If not, see
|                 <http://www.gnu.org/licenses/>.
|
|   Use "BuildDocs new file=<file>" to add <file>.hsc

| Store the current directory
Set BuildDocs$Dir <Obey$Dir>

| Ensure that the utilities are known
Set BuildDocsTools$Dir ADFS::Bonnie.$.Internet.PublicHTML.Tools
Run <BuildDocsTools$Dir>.!hsc
Run <BuildDocsTools$Dir>.!PDMake

| Run the builder
Dir <BuildDocs$Dir>
TaskWindow "PDMake %*0" -wimpslot 2048k -name "HSC BuildDocs" -quit
